跳转到内容

Category:模态逻辑

维基百科,自由的百科全书
頁面分類 > 人类社会 > 知識 > 科学 > 邏輯 > 模态逻辑
頁面分類 > 人类社会 > 文化 > 哲学 > 邏輯 > 模态逻辑
頁面分類 > 人文學科 > 哲学 > 邏輯 > 模态逻辑

模态逻辑是对中介于命题逻辑一阶逻辑之间的逻辑特别是确认有Kripke语义的逻辑的通称。

子分类

本分类有以下2个子分类,共有2个子分类。